Hans Jürgen Ohlbach: искать на сайте Z-Library

Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Свободный доступ к знаниям и культуре.

Сбор средств 15 Сентября 2024 – 1 Октября 2024

Z-Library - одна из крупнейших онлайн-библиотек в мире, в которой хранится более 17,000,000 книг и 84,837,000 статей. Мы стремимся сделать литературу доступной каждому. Сегодня (15 Сентября 2024) мы открываем дополнительный сбор пожертвований на поддержку и развитие проекта.

Также, БЕЗЛИМИТНЫЕ скачивания (в течение 31 дня после дня совершения пожертвования) доступны для ВСЕХ пользователей, которые поддержат проект в период сбора средств до 1 Октября 2024.

О сборе средствПодробнее

Поддержать

Применены фильтры

Точное соответствие

Точное соответствие

Книги (17)
Самые популярные
Список
- Список
- Таблица

1

Handbook of the Logic of Argument and Inference: The Turn Towards the Practical

Handbook of the Logic of Argument and Inference: The Turn Towards the Practical

Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach, John Woods (Eds.)

Год:

2002

Язык:

english

Файл:

DJVU, 3.50 MB

0 / 0

english, 2002

2

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)

Год:

1994

Язык:

english

Файл:

PDF, 8.69 MB

0 / 0

english, 1994

3

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

François Bry, Włodzimierz Drabent (auth.), Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)

Год:

2004

Язык:

english

Файл:

DJVU, 1.56 MB

0 / 0

english, 2004

4

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

François Bry, Włodzimierz Drabent (auth.), Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 3.90 MB

0 / 0

english, 2004

5

Handbook of the Logic of Argument and Inference: The Turn Towards the Practical

Handbook of the Logic of Argument and Inference: The Turn Towards the Practical

Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen Ohlbach, John Woods (Eds.)

Год:

2002

Язык:

english

Файл:

PDF, 3.24 MB

0 / 0

english, 2002

6

Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Springer Vieweg

Hans Jürgen Ohlbach, Norbert Eisinger

Год:

2017

Язык:

german

Файл:

PDF, 2.08 MB

0 / 0

german, 2017

7

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Hans Jürgen Ohlbach, Uwe Reyle (eds.)

Год:

1999

Язык:

english

Файл:

PDF, 16.66 MB

0 / 0

english, 1999

8

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Hans Jürgen Ohlbach, Uwe Reyle (eds.)

Год:

1999

Язык:

english

Файл:

PDF, 2.83 MB

0 / 0

english, 1999

9

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Alain Appriou (auth.), Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (eds.)

Год:

1997

Язык:

english

Файл:

DJVU, 5.37 MB

0 / 0

english, 1997

10

Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings

Practical Reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR'96 Bonn, Germany, June 3–7, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Carine Van den Acker, Jan Vanthienen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)

Год:

1996

Язык:

english

Файл:

DJVU, 6.94 MB

0 / 0

english, 1996

11

Deductive and Object-Oriented Databases: 5th International Conference, DOOD'97 Montreux, Switzerland, December 8–12, 1997 Proceedings

Deductive and Object-Oriented Databases: 5th International Conference, DOOD'97 Montreux, Switzerland, December 8–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Hans Jürgen Ohlbach (auth.), François Bry, Raghu Ramakrishnan, Kotagiri Ramamohanarao (eds.)

Год:

1997

Язык:

english

Файл:

DJVU, 4.50 MB

0 / 0

english, 1997

12

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July 11–14, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)

Год:

1994

Язык:

english

Файл:

DJVU, 5.00 MB

0 / 0

english, 1994

13

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings

Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Alain Appriou (auth.), Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach (eds.)

Год:

1997

Язык:

english

Файл:

PDF, 9.15 MB

0 / 0

english, 1997

14

GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

D. M. Gabbay (auth.), Hans Jürgen Ohlbach (eds.)

Год:

1993

Язык:

english

Файл:

DJVU, 4.31 MB

0 / 0

english, 1993

15

GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

GWAI-92: Advances in Artificial Intelligence: 16th German Conference on Artificial Intelligence Bonn, Germany, August 31 – September 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

D. M. Gabbay (auth.), Hans Jürgen Ohlbach (eds.)

Год:

1993

Язык:

english

Файл:

PDF, 6.83 MB

0 / 0

english, 1993

16

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

Hans Jürgen Ohlbach, Uwe Reyle (eds.)

Год:

1999

Язык:

english

Файл:

DJVU, 3.19 MB

0 / 0

english, 1999

17

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

François Bry, Włodzimierz Drabent (auth.), Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)

Год:

2004

Язык:

english

Файл:

PDF, 1.58 MB

0 / 0

english, 2004